:: Int -> Double package:LambdaHack

Convert from an Int.